Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
441	A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:19 Theoretical computer science Applied mathematics Generic programming Sheaf Combinatory logic Holomorphic functional calculus Mathematics Computability theory Lambda calculus
442	L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Applied mathematics Mathematical logic Programming idioms Theory of computation Computability theory Recursion Recursive definition Coinduction Lawrence Paulson Mathematics Computer programming Theoretical computer science
443	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
444	A Computational Prospect of Infinity: ω1 -Recursion Theory Noam Greenberg Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Recursively enumerable set Enumeration Logic Computability theory Theory of computation Mathematics
445	PA sets, 1-random sets, Π01 classes Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 PA degree Ordered pair Function Mathematics Computability theory Mathematical logic
446	Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Logical syntax Proof theory Formal languages Decidability Atomic model Theory Well-formed formula Recursive languages and sets Logic Metalogic Model theory
447	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science
448	David J. Anderson and Edward N. Zalta Frege, Boolos, and Logical Objects∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:52:19 Analytic philosophers Set theory Computability theory Formal methods Models of computation Gottlob Frege Lambda calculus S First-order logic Mathematical logic Logic Mathematics
449	Brief C.V. Name: Steven Lindell, Professor of Computer Science Address: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:28 Academia Knowledge Computability theory Sheila Greibach Logic Mathematical logic Theoretical computer science Complexity Computation Science Formal sciences Abstraction
450	On the foundations of constructive mathematics — especially in relation to the theory of continuous functions Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:36 Logic Epistemology Logic in computer science Bar induction Mathematical induction Constructivism Ordinal number Computability theory Constructible universe Mathematical logic Mathematical constructivism Mathematics

UPDATE